Symbolic circuit analysis